More from this Author

Mathematics for Computation (M4C)

by Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster

Constructive Adpositional Grammars

by Federico Gobbo, Marco Benini

Constructive Analysis and Synthesis of Programs

by Marco Benini